(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun g () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun k () Real)
(declare-fun h () Real)
(assert (forall ((i Real)) (> 0 (- (/ 0 i)))))
(assert (not (forall ((j Real)) (not (and (= (- 2 b e) (/ d k)) (< (- (* (+ h 1) (- h 8 (- c f)) (- 1 c f) (- 1 a g))) (- 1 b e) (+ a g) (/ b e)))))))
(check-sat)
